Merge pull request #1676 from Yann-lms/static_analysis
authorAntonio Nino Diaz <[email protected]>
Tue, 13 Nov 2018 13:27:41 +0000 (13:27 +0000)
committerAntonio Nino Diaz <[email protected]>
Tue, 13 Nov 2018 13:29:03 +0000 (13:29 +0000)
Correct some issues found with static analysis tools


Trivial merge